Myréen, B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

x86-TSO

Sewell, Peter, Sarkar, Susmit, Owens, Scott, Nardelli, Francesco Zappa, Myreen, Magnus O.

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

2

Self-Formalisation of Higher-Order Logic

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 617 KB

english, 2016

3

Waste to energy by industrially integrated supercritical water gasification – Effects of alkali salts in residual by-products from the pulp and paper industry

I. Rönnlund, L. Myréen, K. Lundqvist, J. Ahlbeck, T. Westerlund

Journal:

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

4

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic

Myreen, Magnus O., Gordon, Michael J. C., Slind, Konrad

Year:

2008

Language:

english

File:

PDF, 186 KB

english, 2008

5

The Ebola Disinfection Booth: Evaluation of an Enclosed Ultraviolet Light Booth for Disinfection of Contaminated Personal Protective Equipment Prior to Removal

Tomas, Myreen E., Cadnum, Jennifer L., Jencson, Annette, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

6

Do medical students receive training in correct use of personal protective equipment?

John, Amrita, Tomas, Myreen E., Hari, Aditya, Wilson, Brigid M., Donskey, Curtis J.

Journal:

Medical Education Online

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

7

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - A Proof-Producing Translator for Verilog Development in HOL

Loow, Andreas, Myreen, Magnus O.

Year:

2019

Language:

english

File:

PDF, 166 KB

english, 2019

8

Autotherme Verbrennung von Abwasserkonzentraten mit Sauerstoff bei erhöhtem Druck

Journal:

Chemie Ingenieur Technik

Year:

2000

Language:

german

File:

PDF, 70 KB

german, 2000

9

A Novel Oxidation Process for Elimination of Organic Compounds im Aqueous Waste Liquors

B. Myréen, J. Ilme, F-M. Müller

Journal:

Chemie Ingenieur Technik

Year:

2001

Language:

english

File:

PDF, 55 KB

english, 2001

10

Transforming Programs into Recursive Functions

Magnus O. Myreen, Michael J.C. Gordon

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

11

Function extraction

Magnus O. Myreen, Michael J.C. Gordon

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

12

[ACM Press the 4th workshop - Savannah, GA, USA (2009.01.20-2009.01.20)] Proceedings of the 4th workshop on Declarative aspects of multicore programming - DAMP '09 - The semantics of power and ARM multiprocessor machine code

Alglave, Jade, Fox, Anthony, Ishtiaq, Samin, Myreen, Magnus O., Sarkar, Susmit, Sewell, Peter, Nardelli, Francesco Zappa

Year:

2008

Language:

english

File:

PDF, 437 KB

english, 2008

13

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Tool support for invariant based programming

Back, R.-J., Myreen, M.

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

14

Tigecycline exhibits inhibitory activity against Clostridium difficile in the intestinal tract of hospitalised patients

Kundrapu, Sirisha, Hurless, Kelly, Sunkesula, Venkata C.K., Tomas, Myreen, Donskey, Curtis J.

Journal:

International Journal of Antimicrobial Agents

Year:

2015

Language:

english

File:

PDF, 365 KB

english, 2015

15

Proof-producing translation of higher-order logic into pure and stateful ML

MYREEN, MAGNUS O., OWENS, SCOTT

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 349 KB

english, 2014

16

A Modified R-Type Bacteriocin Specifically Targeting Clostridium difficile Prevents Colonization of Mice without Affecting Gut Microbiota Diversity

Gebhart, Dana, Lok, Stephen, Clare, Simon, Tomas, Myreen, Stares, Mark, Scholl, Dean, Donskey, Curtis J., Lawley, Trevor D., Govoni, Gregory R.

Journal:

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

17

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

Davis, Jared, Myreen, Magnus O.

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 2.35 MB

english, 2015

18

Over-Diagnosis of Urinary Tract Infection and Under-Diagnosis of Sexually Transmitted Infection in Adult Women Presenting to an Emergency Department

Tomas, Myreen E., Getman, Damon, Donskey, Curtis J., Hecker, Michelle T.

Journal:

Journal of Clinical Microbiology

Year:

2015

Language:

english

File:

PDF, 549 KB

english, 2015

19

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - CakeML

Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Owens, Scott

Year:

2014

Language:

english

File:

PDF, 633 KB

english, 2014

20

The semantics of x86-CC multiprocessor machine code

Sarkar, Susmit, Sewell, Peter, Nardelli, Francesco Zappa, Owens, Scott, Ridge, Tom, Braibant, Thomas, Myreen, Magnus O., Alglave, Jade

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 324 KB

english, 2009

21

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Verified just-in-time compiler on x86

Myreen, Magnus O.

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

22

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Translation validation for a verified OS kernel

Sewell, Thomas Arthur Leck, Myreen, Magnus O., Klein, Gerwin

Year:

2013

Language:

english

File:

PDF, 701 KB

english, 2013

23

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Proof-producing synthesis of ML from higher-order logic

Myreen, Magnus O., Owens, Scott

Year:

2012

Language:

english

File:

PDF, 705 KB

english, 2012

24

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - The semantics of x86-CC multiprocessor machine code

Sarkar, Susmit, Sewell, Peter, Nardelli, Francesco Zappa, Owens, Scott, Ridge, Tom, Braibant, Thomas, Myreen, Magnus O., Alglave, Jade

Year:

2008

Language:

english

File:

PDF, 324 KB

english, 2008

25

An intervention to reduce health care personnel hand contamination during care of patients with Clostridium difficile infection

Tomas, Myreen E., Sunkesula, Venkata C.K., Kundrapu, Sirisha, Wilson, Brigid M., Donskey, Curtis J.

Journal:

American Journal of Infection Control

Year:

2015

Language:

english

File:

PDF, 196 KB

english, 2015

26

Effect of Variation in Test Methods on Performance of Ultraviolet-C Radiation Room Decontamination

Cadnum, Jennifer L., Tomas, Myreen E., Sankar, Thriveen, Jencson, Annette, Mathew, J. Itty, Kundrapu, Sirisha, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 520 KB

english, 2016

27

A Novel, Sporicidal Formulation of Ethanol for Glove Decontamination to Prevent Clostridium difficile Hand Contamination During Glove Removal

Tomas, Myreen E., Nerandzic, Michelle M., Cadnum, Jennifer L., Mana, Thriveen S. C., Jencson, Annette, Sunskesula, Venkata, Kundrapu, Sirisha, Wilson, Brigid M., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 196 KB

english, 2016

28

Skin and Environmental Contamination in Patients Diagnosed With Clostridium difficile Infection but Not Meeting Clinical Criteria for Testing

Kundrapu, Sirisha, Sunkesula, Venkata, Tomas, Myreen, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2015

Language:

english

File:

PDF, 170 KB

english, 2015

29

Response to Prior and Fitzpatrick

Kundrapu, Sirisha, Sunkesula, Venkata, Tomas, Myreen, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 58 KB

english, 2016

30

Are health care personnel trained in correct use of personal protective equipment?

John, Amrita, Tomas, Myreen E., Cadnum, Jennifer L., Mana, Thriveen S.C., Jencson, Annette, Shaikh, Aaron, Zabarsky, Trina F., Wilson, Brigid M., Donskey, Curtis J.

Journal:

American Journal of Infection Control

Year:

2016

Language:

english

File:

PDF, 144 KB

english, 2016

31

Utility of a Novel Reflective Marker Visualized by Flash Photography for Assessment of Personnel Contamination During Removal of Personal Protective Equipment

Tomas, Myreen E., Cadnum, Jennifer L., Mana, Thriveen S.C., Jencson, Annette L., Koganti, Sreelatha, Alhmidi, Heba, Kundrapu, Sirisha, Sunkesula, Venkata C.K., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

32

Seamless Suits: Reducing Personnel Contamination Through Improved Personal Protective Equipment Design

Tomas, Myreen E., Cadnum, Jennifer L., Mana, Thriveen S.C., Jencson, Annette L., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 312 KB

english, 2016

33

Verified just-in-time compiler on x86

Myreen, Magnus O.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

34

Evaluation of Hospital Floors as a Potential Source of Pathogen Dissemination Using a Nonpathogenic Virus as a Surrogate Marker

Koganti, Sreelatha, Alhmidi, Heba, Tomas, Myreen E., Cadnum, Jennifer L., Jencson, Annette, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 229 KB

english, 2016

35

Proof-producing synthesis of ML from higher-order logic

Myreen, Magnus O., Owens, Scott

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 705 KB

english, 2012

36

Acquisition of Clostridium difficile on Hands of Healthcare Personnel Caring for Patients with Resolved C. difficile Infection

Shrestha, Subarna K., Sunkesula, Venkata C.K., Kundrapu, Sirisha, Tomas, Myreen E., Nerandzic, Michelle M., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2016

Language:

english

File:

PDF, 112 KB

english, 2016

37

AClostridium difficileInfection (CDI) Stewardship Initiative Improves Adherence to Practice Guidelines for Management of CDI

Lucy A. Jury, RN, Myreen Tomas, MD, Sirisha Kundrapu, MD, Brett Sitzlar, BS, Curtis J. Donskey, MD

Journal:

Infection Control and Hospital Epidemiology

Year:

2013

Language:

english

File:

PDF, 344 KB

english, 2013

38

Chlorhexidine Only Works If Applied Correctly: Use of a Simple Colorimetric Assay to Provide Monitoring and Feedback on Effectiveness of Chlorhexidine Application

Supple, Laura, Kumaraswami, Monika, Kundrapu, Sirisha, Sunkesula, Venkata, Cadnum, Jennifer L., Nerandzic, Michelle M., Tomas, Myreen, Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2015

Language:

english

File:

PDF, 170 KB

english, 2015

39

Evaluation of an Ethanol-Based Spray Disinfectant for Decontamination of Cover Gowns Prior to Removal

Koganti, Sreelatha, Alhmidi, Heba, Tomas, Myreen E., Cadnum, Jennifer L., Sass, Christopher, Jencson, Annette L., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2017

Language:

english

File:

PDF, 109 KB

english, 2017

40

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Verified compilation of CakeML to multiple machine-code targets

Fox, Anthony, Myreen, Magnus O., Tan, Yong Kiam, Kumar, Ramana

Year:

2017

Language:

english

File:

PDF, 234 KB

english, 2017

41

A Randomized Trial of Two Cover Gowns Comparing Contamination of Healthcare Personnel During Removal of Personal Protective Equipment

Mana, Thriveen S. C., Tomas, Myreen E., Cadnum, Jennifer L., Jencson, Annette L., Piedrahita, Christina T., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2017

Language:

english

File:

PDF, 693 KB

english, 2017

42

Tapering Courses of Oral Vancomycin Induce Persistent Disruption of the Microbiota that Provide Colonization Resistance to Clostridium difficile and Vancomycin-Resistant Enterococci in Mice

Tomas, Myreen E., Mana, Thriveen S.C., Wilson, Brigid M., Nerandzic, Michelle M., Samira, Joussef, Quinones-Mateu, Miguel, Donskey, Curtis J.

Journal:

Antimicrobial Agents and Chemotherapy

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

43

Emergence of Resistance to Colistin During the Treatment of Bloodstream Infection Caused by Klebsiella pneumoniae Carbapenemase–Producing Klebsiella pneumoniae

Kanwar, Anubhav, Marshall, Steven H, Perez, Federico, Tomas, Myreen, Jacobs, Michael R, Hujer, Andrea M, Domitrovic, T Nicholas, Rudin, Susan D, Rojas, Laura J, Kreiswirth, Barry N, Chen, Liang, Quino

Journal:

Open Forum Infectious Diseases

Year:

2018

Language:

english

File:

PDF, 148 KB

english, 2018

44

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - VeriPhy: verified controller executables from verified cyber-physical system models

Bohrer, Brandon, Tan, Yong Kiam, Mitsch, Stefan, Myreen, Magnus O., Platzer, André

Year:

2018

Language:

english

File:

PDF, 375 KB

english, 2018

45

Pulp and Paper Manufacture in Transition

Journal:

Water Science and Technology

Year:

1994

File:

PDF, 1.08 MB

1994

46

The verified CakeML compiler backend

KIAM TAN, YONG, MYREEN, MAGNUS O., KUMAR, RAMANA, FOX, ANTHONY, OWENS, SCOTT, NORRISH, MICHAEL

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 907 KB

english, 2019

47

Are Healthcare Personnel Trained in Correct Use of Personal Protective Equipment?

John, Amrita, Tomas, Myreen, Cadnum, Jennifer, Mana, Thriveen S.C., Jencson, Annette, Shaikh, Aaron, Donskey, Curtis J.

Journal:

Open Forum Infectious Diseases

Year:

2015

Language:

english

File:

PDF, 70 KB

english, 2015

48

A Verified Generational Garbage Collector for CakeML

Sandberg Ericsson, Adam, Myreen, Magnus O., Åman Pohjola, Johannes

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

49

Verifying efficient function calls in CakeML

Owens, Scott, Norrish, Michael, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 369 KB

english, 2017

50

A crossover trial comparing contamination of healthcare personnel during removal of a standard gown versus a modified gown with increased skin coverage at the hands and wrists

Hajar, Zeina, Mana, Thriveen S. C., Tomas, Myreen E., Alhmidi, Heba, Wilson, Brigid M., Donskey, Curtis J.

Journal:

Infection Control and Hospital Epidemiology

Year:

2019

Language:

english

File:

PDF, 1.82 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски